Marek Sergot: шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Найбільша колекція наукових статей у сіті. 70,000,000+ безкоштовних статей.

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги
Статті (38)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Deontic logic in the representation of law: Towards a methodology

Andrew J. I. Jones, Marek Sergot

Журнал:

Artificial Intelligence and Law

Рік:

1992

Мова:

english

Файл:

PDF, 1.27 MB

english, 1992

2

Contrary-to-duty obligations

Henry Prakken, Marek Sergot

Журнал:

Рік:

1996

Мова:

english

Файл:

PDF, 1.31 MB

english, 1996

3

The representation of legal contracts

Aspassia Daskalopulu, Marek Sergot

Журнал:

Рік:

1997

Мова:

english

Файл:

PDF, 841 KB

english, 1997

4

The Use of Logical Models in Legal Problem Solving

ROBERT KOWALSKI, MAREK SERGOT

Журнал:

Рік:

1990

Мова:

english

Файл:

PDF, 1.09 MB

english, 1990

5

A logic-based calculus of events

Robert Kowalski, Marek Sergot

Журнал:

New Generation Computing

Рік:

1986

Мова:

english

Файл:

PDF, 1.04 MB

english, 1986

6

Reasoning about Action and Change || Distant Causation in C+

Robert Craven and Marek Sergot

Журнал:

Рік:

2005

Мова:

english

Файл:

PDF, 2.01 MB

english, 2005

7

An executable specification of a formal argumentation protocol

Alexander Artikis, Marek Sergot, Jeremy Pitt

Журнал:

Artificial Intelligence

Рік:

2007

Мова:

english

Файл:

PDF, 389 KB

english, 2007

8

Papers in Deontic Logic || From the Editors

Andrew J. I. Jones and Marek Sergot

Журнал:

Рік:

1996

Мова:

english

Файл:

PDF, 302 KB

english, 1996

9

Contributions of FGCS technology to applications in legal reasoning

Журнал:

Future Generation Computer Systems

Рік:

1995

Мова:

english

Файл:

PDF, 1.66 MB

english, 1995

10

Agent strands in the action language

Robert Craven, Marek Sergot

Журнал:

Journal of Applied Logic

Рік:

2008

Мова:

english

Файл:

PDF, 577 KB

english, 2008

11

Distant Causation inC+

Robert Craven, Marek Sergot

Журнал:

Рік:

2005

Мова:

english

Файл:

PDF, 348 KB

english, 2005

12

Enhancing the utility of Proteomics Signature Profiling (PSP) with Pathway Derived Subnets (PDSs), performance analysis and specialised ontologies

Wilson Wen Bin Goh, Mengyuan Fan, Hong Sang Low, Marek Sergot, Limsoon Wong

Журнал:

Рік:

2013

Мова:

english

Файл:

PDF, 686 KB

english, 2013

13

Specifying norm-governed computational societies

Artikis, Alexander, Sergot, Marek, Pitt, Jeremy

Журнал:

ACM Transactions on Computational Logic

Рік:

2009

Мова:

english

Файл:

PDF, 1.09 MB

english, 2009

14

A Formal Characterisation of Institutionalised Power

JONES, ANDREW J. I., SERGOT, MAREK

Журнал:

Logic Journal of IGPL

Рік:

1996

Мова:

english

Файл:

PDF, 898 KB

english, 1996

15

Formalisation of the British nationality act

Sergot, Marek, Cory, Therese, Hammond, Peter, Kowalski, Robert, Kriwaczek, Frank, Sadri, Fariba

Журнал:

International Review of Law Computers & Technology

Рік:

1986

Мова:

english

Файл:

PDF, 573 KB

english, 1986

16

USING THE EVENT CALCULUS FOR TRACKING THE NORMATIVE STATE OF CONTRACTS

FARRELL, ANDREW D. H., SERGOT, MAREK J., SALLÉ, MATHIAS, BARTOLINI, CLAUDIO

Журнал:

International Journal of Cooperative Information Systems

Рік:

2005

Мова:

english

Файл:

PDF, 354 KB

english, 2005

17

The Dynamics of Knowledge || Deontic Interpreted Systems

Alessio Lomuscio and Marek Sergot

Журнал:

Рік:

2003

Мова:

english

Файл:

PDF, 3.24 MB

english, 2003

18

Who is obliged when many are involved? Labelled transition system modelling of how obligation arises

Kulicki, Piotr, Trypuz, Robert, Sergot, Marek

Журнал:

Artificial Intelligence and Law

Рік:

2020

Файл:

PDF, 490 KB

2020

19

Computer support for protocol-based treatment of cancer

Peter Hammond, Marek Sergot

Журнал:

The Journal of Logic Programming

Рік:

1996

Мова:

english

Файл:

PDF, 1.16 MB

english, 1996

20

A formalisation of violation, error recovery, and enforcement in the bit transmission problem

Alessio Lomuscio, Marek Sergot

Журнал:

Journal of Applied Logic

Рік:

2004

Мова:

english

Файл:

PDF, 387 KB

english, 2004

21

An abstract framework for globalising interactive systems

Kostas Stathis, Marek Sergot

Журнал:

Interacting with Computers

Рік:

1998

Мова:

english

Файл:

PDF, 1.05 MB

english, 1998

22

From the editors

Andrew J. I. Jones, Marek Sergot

Журнал:

Рік:

1996

Мова:

english

Файл:

PDF, 101 KB

english, 1996

23

Formalising Workflow: A CCS-inspired Characterisation of the YAWL Workflow Patterns

Andrew D. H. Farrell, Marek J. Sergot, Claudio Bartolini

Журнал:

Group Decision and Negotiation

Рік:

2007

Мова:

english

Файл:

PDF, 3.39 MB

english, 2007

24

Visualization of microarray results to assist interpretation

Irene Papatheodorou, Marek Sergot, Marty Randall, Graham R Stewart, Brian D Robertson

Журнал:

Рік:

2004

Мова:

english

Файл:

PDF, 586 KB

english, 2004

25

Computational aspects of the FLBC framework

Aspassia Daskalopulu, Marek Sergot

Журнал:

Decision Support Systems

Рік:

2002

Мова:

english

Файл:

PDF, 407 KB

english, 2002

26

Correction to “Comparative Network-Based Recovery Analysis and Proteomic Profiling of Neurological Changes in Valproic Acid-Treated Mice”

Goh, Wilson Wen Bin, Sergot, Marek J., Sng, Judy C. G., Wong, Limsoon

Журнал:

Journal of Proteome Research

Рік:

2013

Файл:

PDF, 104 KB

2013

27

Proteomics Signature Profiling (PSP): A Novel Contextualization Approach for Cancer Proteomics

Goh, Wilson Wen Bin, Lee, Yie Hou, Ramdzan, Zubaidah M., Sergot, Marek J., Chung, Maxey, Wong, Limsoon

Журнал:

Journal of Proteome Research

Рік:

2012

Мова:

english

Файл:

PDF, 1.49 MB

english, 2012

28

Comparative Network-Based Recovery Analysis and Proteomic Profiling of Neurological Changes in Valproic Acid-Treated Mice

Goh, Wilson Wen Bin, Sergot, Marek J., Sng, Judy Cg, Wong, Limsoon

Журнал:

Journal of Proteome Research

Рік:

2013

Мова:

english

Файл:

PDF, 3.13 MB

english, 2013

29

[ACM Press the 6th ACM International Conference - Berlin, Germany (2012.07.16-2012.07.20)] Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems - DEBS '12 - Run-time composite event recognition

Artikis, Alexander, Sergot, Marek, Paliouras, Georgios

Рік:

2012

Мова:

english

Файл:

PDF, 1.14 MB

english, 2012

30

An Event Calculus for Event Recognition

Artikis, Alexander, Sergot, Marek, Paliouras, Georgios

Журнал:

IEEE Transactions on Knowledge and Data Engineering

Рік:

2015

Мова:

english

Файл:

PDF, 858 KB

english, 2015

31

[ACM Press the fourth international joint conference - The Netherlands (2005.07.25-2005.07.29)] Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems - AAMAS '05 - Formalization of a voting protocol for virtual organizations

Pitt, Jeremy, Kamara, Lloyd, Sergot, Marek, Artikis, Alexander

Рік:

2005

Мова:

english

Файл:

PDF, 311 KB

english, 2005

32

[ACM Press the fifth international conference - College Park, Maryland, United States (1995.05.21-1995.05.24)] Proceedings of the fifth international conference on Artificial intelligence and law - ICAIL '95 - A constraint-driven system for contract assembly

Daskalopulu, Aspassia, Sergot, Marek

Рік:

1995

Мова:

english

Файл:

PDF, 906 KB

english, 1995

33

Status-Based Access Control

Barker, Steve, Sergot, Marek J., Wijesekera, Duminda

Журнал:

ACM Transactions on Information and System Security

Рік:

2008

Мова:

english

Файл:

PDF, 338 KB

english, 2008

34

[ACM Press the 9th international conference - Scotland, United Kingdom (2003.06.24-2003.06.28)] Proceedings of the 9th international conference on Artificial intelligence and law - ICAIL '03 - An executable specification of an argumentation protocol

Artikis, Alexander, Sergot, Marek, Pitt, Jeremy

Рік:

2003

Мова:

english

Файл:

PDF, 207 KB

english, 2003

35

[ACM Press the 10th international conference - Bologna, Italy (2005.06.06-2005.06.11)] Proceedings of the 10th international conference on Artificial intelligence and law - ICAIL '05 - Voting in online deliberative assemblies

Pitt, Jeremy, Kamara, Lloyd, Sergot, Marek, Artikis, Alexander

Рік:

2005

Мова:

english

Файл:

PDF, 520 KB

english, 2005

36

[ACM Press the first international joint conference - Bologna, Italy (2002.07.15-2002.07.19)] Proceedings of the first international joint conference on Autonomous agents and multiagent systems part 2 - AAMAS '02 - The bit transmission problem revisited

Lomuscio, Alessio, Sergot, Marek

Рік:

2002

Мова:

english

Файл:

PDF, 76 KB

english, 2002

37

Knowledge-Based Front-Ends as Games

Stathis, Kostas, Sergot, Marek

Журнал:

Failure and Lessons Learned in Information Technology Management

Рік:

1997

Мова:

english

Файл:

PDF, 1.66 MB

english, 1997

38

A network-based maximum link approach towards MS identifies potentially important roles for undetected ARRB1/2 and ACTB in liver cancer progression

Goh, Wilson Wen Bin, Lee, Yie Hou, Ramdzan, Zubaidah M., Chung, Maxey C.M., Wong, Limsoon, Sergot, Marek J.

Журнал:

International Journal of Bioinformatics Research and Applications

Рік:

2012

Мова:

english

Файл:

PDF, 857 KB

english, 2012